<!doctype html>
<html lang="zh-CN">
<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>分布式事务完全指南</title>
    <link href="https://cdn.staticfile.org/font-awesome/6.4.0/css/all.min.css" rel="stylesheet">
    <link href="https://cdn.staticfile.org/tailwindcss/2.2.19/tailwind.min.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Noto+Serif+SC:wght@400;500;600;700&family=Noto+Sans+SC:wght@300;400;500;700&display=swap" rel="stylesheet">
    <script src="https://cdn.jsdelivr.net/npm/mermaid@latest/dist/mermaid.min.js"></script>
    <style>
        body {
            font-family: 'Noto Sans SC', Tahoma, Arial, Roboto, "Droid Sans", "Helvetica Neue", "Droid Sans Fallback", "Heiti SC", "Hiragino Sans GB", Simsun, sans-serif;
            background: linear-gradient(135deg, #f5f7fa 0%, #c3cfe2 100%);
            min-height: 100vh;
        }
        .hero-gradient {
            background: linear-gradient(135deg, #667eea 0%, #764ba2 100%);
        }
        .card-hover {
            transition: all 0.3s ease;
        }
        .card-hover:hover {
            transform: translateY(-5px);
            box-shadow: 0 20px 40px rgba(0,0,0,0.1);
        }
        .section-title {
            position: relative;
            padding-bottom: 1rem;
        }
        .section-title::after {
            content: '';
            position: absolute;
            bottom: 0;
            left: 0;
            width: 60px;
            height: 4px;
            background: linear-gradient(90deg, #667eea 0%, #764ba2 100%);
            border-radius: 2px;
        }
        .feature-icon {
            background: linear-gradient(135deg, #667eea 0%, #764ba2 100%);
            -webkit-background-clip: text;
            -webkit-text-fill-color: transparent;
        }
        .timeline-item::before {
            content: '';
            position: absolute;
            left: -1px;
            top: 0;
            bottom: 0;
            width: 2px;
            background: linear-gradient(180deg, #667eea 0%, #764ba2 100%);
        }
        .code-block {
            background: #1e1e1e;
            color: #d4d4d4;
            border-radius: 8px;
            overflow-x: auto;
        }
        .mermaid {
            display: flex;
            justify-content: center;
            margin: 2rem 0;
        }
        .drop-cap {
            float: left;
            font-size: 4rem;
            line-height: 1;
            font-weight: 700;
            margin-right: 0.5rem;
            margin-top: -0.2rem;
            color: #667eea;
            font-family: 'Noto Serif SC', serif;
        }
        .highlight-box {
            background: linear-gradient(135deg, rgba(102, 126, 234, 0.1) 0%, rgba(118, 75, 162, 0.1) 100%);
            border-left: 4px solid #667eea;
            padding: 1.5rem;
            margin: 2rem 0;
            border-radius: 0 8px 8px 0;
        }
        @keyframes fadeInUp {
            from {
                opacity: 0;
                transform: translateY(30px);
            }
            to {
                opacity: 1;
                transform: translateY(0);
            }
        }
        .animate-fadeInUp {
            animation: fadeInUp 0.6s ease-out;
        }
    </style>
</head>
<body>
    <!-- Hero Section -->
    <section class="hero-gradient text-white py-20">
        <div class="container mx-auto px-6">
            <div class="text-center animate-fadeInUp">
                <h1 class="text-5xl md:text-6xl font-bold mb-6">分布式事务完全指南</h1>
                <p class="text-xl md:text-2xl mb-8 opacity-90">从理论到实践，深入理解分布式系统的核心挑战</p>
                <div class="flex justify-center space-x-8 text-sm md:text-base">
                    <div class="flex items-center">
                        <i class="fas fa-clock mr-2"></i>
                        <span>阅读时间：15分钟</span>
                    </div>
                    <div class="flex items-center">
                        <i class="fas fa-layer-group mr-2"></i>
                        <span>深度：高级</span>
                    </div>
                </div>
            </div>
        </div>
    </section>

    <!-- Main Content -->
    <main class="container mx-auto px-6 py-12">
        <!-- Introduction -->
        <section class="bg-white rounded-2xl shadow-xl p-8 mb-12 card-hover">
            <h2 class="text-3xl font-bold mb-6 section-title">什么是事务？</h2>
            <p class="text-lg leading-relaxed text-gray-700">
                <span class="drop-cap">事</span>务是应用程序中一系列严密的操作，所有操作必须成功完成，否则在每个操作中所作的所有更改都会被撤消。也就是事务具有原子性，一个事务中的一系列的操作要么全部成功，要么一个都不做。
            </p>
        </section>

        <!-- ACID Properties -->
        <section class="bg-white rounded-2xl shadow-xl p-8 mb-12">
            <h2 class="text-3xl font-bold mb-8 section-title">事务特性（ACID）</h2>
            <div class="grid md:grid-cols-2 gap-6">
                <div class="bg-gradient-to-br from-purple-50 to-pink-50 p-6 rounded-xl card-hover">
                    <div class="flex items-center mb-4">
                        <i class="fas fa-atom text-3xl feature-icon mr-4"></i>
                        <h3 class="text-xl font-bold">原子性（Atomicity）</h3>
                    </div>
                    <p class="text-gray-700">所谓的原子性就是说，在整个事务中的所有操作，要么全部完成，要么全部不做，没有中间状态。对于事务在执行中发生错误，所有的操作都会被回滚，整个事务就像从没被执行过一样。</p>
                </div>
                <div class="bg-gradient-to-br from-blue-50 to-cyan-50 p-6 rounded-xl card-hover">
                    <div class="flex items-center mb-4">
                        <i class="fas fa-check-circle text-3xl feature-icon mr-4"></i>
                        <h3 class="text-xl font-bold">一致性（Consistency）</h3>
                    </div>
                    <p class="text-gray-700">事务的执行必须保证系统的一致性，就拿转账为例，A有500元，B有300元，如果在一个事务里A成功转给B50元，那么不管并发多少，不管发生什么，只要事务执行成功了，那么最后A账户一定是450元，B账户一定是350元。</p>
                </div>
                <div class="bg-gradient-to-br from-green-50 to-emerald-50 p-6 rounded-xl card-hover">
                    <div class="flex items-center mb-4">
                        <i class="fas fa-shield-alt text-3xl feature-icon mr-4"></i>
                        <h3 class="text-xl font-bold">隔离性（Isolation）</h3>
                    </div>
                    <p class="text-gray-700">所谓的隔离性就是说，事务与事务之间不会互相影响，一个事务的中间状态不会被其他事务感知。</p>
                </div>
                <div class="bg-gradient-to-br from-orange-50 to-red-50 p-6 rounded-xl card-hover">
                    <div class="flex items-center mb-4">
                        <i class="fas fa-database text-3xl feature-icon mr-4"></i>
                        <h3 class="text-xl font-bold">持久性（Durability）</h3>
                    </div>
                    <p class="text-gray-700">所谓的持久性，就是说一旦事务完成了，那么事务对数据所做的变更就完全保存在了数据库中，即使发生停电，系统宕机也是如此。</p>
                </div>
            </div>
        </section>

        <!-- Architecture Evolution -->
        <section class="bg-white rounded-2xl shadow-xl p-8 mb-12">
            <h2 class="text-3xl font-bold mb-8 section-title">架构演进：从单体到微服务</h2>
            <div class="grid md:grid-cols-2 gap-8">
                <div class="text-center">
                    <h3 class="text-xl font-bold mb-4">单体架构</h3>
                    <div class="bg-gray-50 p-6 rounded-xl">
                        <img src="https://cdn.nlark.com/yuque/0/2022/png/21449790/1651156867728-9592fd52-a096-4987-a544-2ad4b87cd8f4.png" alt="单体架构" class="w-full rounded-lg shadow-md">
                    </div>
                </div>
                <div class="text-center">
                    <h3 class="text-xl font-bold mb-4">微服务架构</h3>
                    <div class="bg-gray-50 p-6 rounded-xl">
                        <img src="https://cdn.nlark.com/yuque/0/2022/png/21449790/1651156877846-a83050c2-04c1-4653-a7c4-771a3270e8ea.png" alt="微服务架构" class="w-full rounded-lg shadow-md">
                    </div>
                </div>
            </div>
        </section>

        <!-- Distributed Transaction -->
        <section class="bg-white rounded-2xl shadow-xl p-8 mb-12">
            <h2 class="text-3xl font-bold mb-6 section-title">什么是分布式事务？</h2>
            <div class="highlight-box">
                <p class="text-lg leading-relaxed">
                    在微服务的实现架构系统之中，由于会将不同的业务拆分到不同的微服务实例之中，这样就会彻底的丧失传统数据库事务的支持，这样在进行数据更新时，每一个微服务都仅仅只会与当前关联的数据库实现事务处理，不同的微服务之间没有事务上的联系。
                </p>
            </div>
            <div class="text-center my-8">
                <img src="https://cdn.nlark.com/yuque/0/2024/png/21449790/1708757674589-570920a3-34b8-4a25-b9f2-11065b36ff46.png" alt="分布式事务示意图" class="inline-block rounded-lg shadow-lg">
            </div>
            <p class="text-lg text-gray-700">
                简单的说，就是一次大的操作由不同的小操作组成，这些小的操作分布在不同的服务器上，且属于不同的应用，分布式事务需要保证这些小操作要么全部成功，要么全部失败。本质上来说，分布式事务就是为了保证不同数据库的数据一致性。
            </p>
        </section>

        <!-- Distributed Theory -->
        <section class="bg-white rounded-2xl shadow-xl p-8 mb-12">
            <h2 class="text-3xl font-bold mb-8 section-title">分布式理论基础</h2>
            
            <!-- CAP Theorem -->
            <div class="mb-12">
                <h3 class="text-2xl font-bold mb-6">CAP定理</h3>
                <div class="mermaid">
                    graph TD
                        A[CAP定理] --> B[一致性 Consistency]
                        A --> C[可用性 Availability]
                        A --> D[分区容错性 Partition tolerance]
                        B -.-> E[所有节点同时看到相同数据]
                        C -.-> F[系统保证每个请求都能响应]
                        D -.-> G[系统能容忍网络分区]
                        style A fill:#667eea,stroke:#fff,stroke-width:2px,color:#fff
                        style B fill:#f59e0b,stroke:#fff,stroke-width:2px,color:#fff
                        style C fill:#10b981,stroke:#fff,stroke-width:2px,color:#fff
                        style D fill:#ef4444,stroke:#fff,stroke-width:2px,color:#fff
                </div>
                <p class="text-lg text-gray-700 mt-6">
                    CAP定理指出在一个分布式系统中，一致性（Consistency）、可用性（Availability）、分区容错性（Partition tolerance）这三个特性不可能同时满足，最多只能同时满足其中的两个。
                </p>
            </div>

            <!-- BASE Theory -->
            <div>
                <h3 class="text-2xl font-bold mb-6">BASE理论</h3>
                <div class="grid md:grid-cols-3 gap-6">
                    <div class="bg-gradient-to-br from-indigo-50 to-purple-50 p-6 rounded-xl">
                        <h4 class="font-bold text-lg mb-3">基本可用（BA）</h4>
                        <p class="text-gray-700">系统保证在出现故障时仍然保持基本的可用性</p>
                    </div>
                    <div class="bg-gradient-to-br from-pink-50 to-rose-50 p-6 rounded-xl">
                        <h4 class="font-bold text-lg mb-3">软状态（S）</h4>
                        <p class="text-gray-700">允许系统中的数据存在中间状态